Synchronous parallelizations of serial computer programs
نویسندگان
چکیده
منابع مشابه
Coordination of Synchronous Programs
We propose to extend the synchronous language Esterel by coordination primitives and by an asynchronous parallel composition operation on the level of modules. This is to program reactive systems such that subsystems may proceed at their own speed without enforcing a global knowledge of time. We intend is to stick with the synchronous language paradigm as close as possible since we aim for prop...
متن کاملSlicing Synchronous Reactive Programs
This paper extends the well-known technique of slicing to synchronous reactive programs. Synchronous languages exemplified by Esterel, Lustre, Signal and Argos, employ a novel model of execution that is found useful for abstract and high level description of complex controllers. Slicing is well known in the domain of sequential transformational programs and has been found to be useful in analys...
متن کاملSynchronous Distribution of Signal Programs
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...
متن کاملModular Compilation of Synchronous Programs
We present a new method for modular compilation of synchronous programs given in imperative languages like Quartz or Esterel. The main idea of our approach consists of computing sequential jobs that correspond with control flow locations of the program. Each job encodes that part of an instantaneous reaction that is triggered by the activation of the corresponding control flow location. The spe...
متن کاملSoftware Implementation of Synchronous Programs
Synchronous languages allow a high level, concurrent, and deterministic description the behavior of reactive systems. Thus, they can be used advantageously for the programming of embedded control systems. The runtime requirements of synchronous code are light, but several critical properties must be fulfilled. In this paper, we address the problem of the software implementation of synchronous p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Banach Center Publications
سال: 1988
ISSN: 0137-6934,1730-6299
DOI: 10.4064/-21-1-205-224